SRI International - PDFSEARCH.IO - Document Search Engine

SRI International
Results: 1439

#	Item
221	H U M A N R I G H T S W A T C H MEXICO’S DISAPPEARED The Enduring Cost of a Crisis Ignored Add to Reading List Source URL: www.hrw.org Language: English - Date: 2014-08-08 14:45:50 Forced disappearance Counter-terrorism Human rights abuses Kidnappings Torture International Convention for the Protection of All Persons from Enforced Disappearance Reparations International Day of the Disappeared Enforced disappearances in Sri Lanka Crime Criminal law Law
222	Creating Writing Items of Graduated Complexity for Students with Significant Cognitive Disabilities NCSC Writing AA-AAS1 Renee Cameto and Kathryn Morrison, SRI International; Charlene Turner, edCount Add to Reading List Source URL: www.ncscpartners.org Language: English - Date: 2015-05-15 10:24:22 Standards-based education Evaluation Pedagogy Universal Design for Learning Educational assessment Formative assessment Online assessment Psychometrics No Child Left Behind Act Education Educational psychology Evaluation methods
223	AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2007-10-28 17:34:19 Information Database theory Database management systems Data model Entity-relationship model Database schema EXPRESS Integrity constraints Database design Data management Data modeling Data
224	Hi Everybody! Welcome back to The second year of AV! For this issue theme, we would like to focus on Motivation and Dream ofWe received wonderful piece from the branches and hope we could all share and learn this Add to Reading List Source URL: www.ivp.org.au Language: English - Date: 2010-12-22 05:26:19 Sociology Sri Lankan Civil War Volunteering Sri Lanka Service Civil International Asia
225	INTERNATIONAL HIGHER EDUCATION The Boston College Center for International Higher Education Number 13 Fall 1998 The Boston College Center for International Higher Education provides information and support for internatio Add to Reading List Source URL: www.bc.edu Language: English - Date: 2015-04-14 20:27:55 Distance education Educational stages E-learning Higher education in the United States Open University of Sri Lanka Universitas Terbuka Public university University Governance in higher education Education Knowledge Higher education
226	PRIVACY INTERESTS Editor: Tara Whalen, The Menlo Report Michael Bailey \| University of Michigan David Dittrich \| University of Washington Add to Reading List Source URL: mdbailey.ece.illinois.edu Language: English - Date: 2014-08-05 13:28:19 Technology Information technology Professional ethics Clinical research Belmont Report Human subject research in the United States Information ethics Institutional review board SRI International Applied ethics Ethics Medical ethics
227	Sri Lanka and IRRI History of partnership Anuru Abeysekera, a research officer at Sri Lanka’s Department of Agriculture (right) and IRRI associate scientist Ofie Add to Reading List Source URL: books.irri.org Language: English - Date: 2015-02-12 00:05:30 Food and drink Tropical agriculture International Rice Research Institute Research Sri Lanka Global Rice Science Partnership Upland rice Rice Agriculture Rockefeller Foundation
228	Changing Images of Man By the following staff of and consultants to THE CENTER FOR THE STUDY OF SOCIAL POLICY/SRI INTERNATIONAL: Joseph Cambell, Duane Elgin, Willis Harman, Arthur Hastings, o. W. Markley, Floyd Matson, B Add to Reading List Source URL: technoccult.net Language: English - Date: 2014-08-03 14:24:55 Interdisciplinary fields Henry Margenau René Dubos Systems theory Futures studies Culture Human nature Pergamon Press Willis Harman Science Ethology Behavior
229	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
230	Phone Book Example John Rushby Computer Science Laboratory SRI International Menlo Park CA USA Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2013-04-22 13:35:18 Type theory Function Axiom Mathematics Logic Mathematical logic

UPDATE